int read_input(void);

